universally quantified riable

全称量词化变元